
markov parallel
11 01 lambda1 
11 10 lambda2
01 11 mu1
01 00 lambda2
10 11 mu2
10 00 lambda1
00 01 mu2
00 10 mu1
reward
11 1
01 1
10 1
end

bind 
lambda1 10*(10^4)
lambda2 10*(10^4)
mu1 1.25*10^8
mu2 1.25*10^8
end

* variable named U is the  system steady-state unavailability 
var U prob(parallel,00)
* variable named A is the system steady-state  availability
var A 1- U 
* variable named downtime is the system downtime in minutes per year
var downtime 60*8760*U

* Mean Time To System Failure
var MTTSF (lambda1*prob(parallel,10) + lambda2*prob(parallel,01)) / A
* Mean Time To System Restoration
var MTTSR 1/(mu1+mu2)

expr  A, U, downtime, MTTSF, MTTSR

end
